G

Results: 189210



#Item
71

A U G U S T 2018 V O LU ME 76, N U MB E R 8 Monitoring the State’s Economy ECONOMY AT A GLANCE

Add to Reading List

Source URL: www.mississippi.edu

Language: English - Date: 2018-08-03 14:19:39
    72

    A Practical Application of Blockchain for the Travel Industry _ã É ™ÂК¿š±³É £š±ÉÐÂЭÿ éÐ £É™Â ¬ ß ÉŸ ÉŸǵšÐÈÜ£é³é³ø£ǵéߍø£ÂǵŸ³ãéß³™îé³ÐÉǵȍ߿

    Add to Reading List

    Source URL: windingtree.com

    Language: French - Date: 2018-10-25 16:14:15
      73Database theory / Computing / Data management / Information science / Conjunctive query / Relational model / Boolean conjunctive query / Relational database / FO / Functional dependency / Query language

      Coping with Inconsistent Databases Semantics, Algorithms, and Complexity Phokion G. Kolaitis University of California Santa Cruz and

      Add to Reading List

      Source URL: sat2016.labri.fr

      Language: English - Date: 2016-07-06 08:29:21
      74Cryptocurrencies / Blockchains / Ethereum / Cross-platform software / Alternative currencies / Concurrent computing / Distributed computing / Smart contract / EIP / Computing / Ethereum Classic

      Breaking down the EIP-999 debate Pros, Cons… and e v e r y t h i n g in b e t w e e n. Where it all starts: The Parity Hack

      Add to Reading List

      Source URL: edcon.io

      Language: English - Date: 2018-10-16 07:02:08
      75Biology / Cell biology / Membrane biology / Anatomy / Organelles / Vesicles / Cellular processes / Models of computation / Endosome / Endocytosis / Rab / Cell membrane

      P Systems with Endosomes R. Barbuti G. Caravagna A. Maggiolo-Schettini

      Add to Reading List

      Source URL: pages.di.unipi.it

      Language: English - Date: 2015-12-18 06:55:14
      76Geography of Alaska / Alaska / Global warming / Arctic Ocean / Climate change adaptation / Climate resilience / University of Alaska Fairbanks / Individual and political action on climate change / Iupiat / Index of Alaska-related articles / Arctic policy of the United States

      C L I M A T E C H A N G E A C T I O N PL AN REC OMMEND AT IONS T O T HE GOVERNOR Alaska Climate Change ACTION PLAN recommendations

      Add to Reading List

      Source URL: climatechange.gov.alaska.gov

      Language: English - Date: 2018-09-19 16:27:14
      77Theoretical computer science / Logic / Mathematical logic / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Satisfiability modulo theories / Automated planning and scheduling / Solver / Planning Domain Definition Language

      U NIVERSITAT DE G IRONA ` ` D EPARTAMENT D ’I NFORM ATICA , M ATEM ATICA

      Add to Reading List

      Source URL: icaps16.icaps-conference.org

      Language: English - Date: 2016-06-09 08:09:17
      78Semantic Web / Computing / Information science / World Wide Web Consortium / Knowledge engineering / Knowledge representation / Technical communication / Web Ontology Language / Ontology / Description logic / Resource Description Framework / RDF Schema

      Toward G-OWL: A graphical, polymorphic and typed syntax for building formal OWL2 ontologies Michel Héon Université du Québec à Montréal Montréal (Québec)

      Add to Reading List

      Source URL: gdac.uqam.ca

      Language: English - Date: 2017-10-04 00:39:05
      79Theoretical computer science / Mathematics / Mathematical logic / Logic in computer science / Automated theorem proving / Electronic design automation / Formal methods / NP-complete problems / Satisfiability modulo theories / Boolean satisfiability problem / Maximum satisfiability problem / Unit propagation

      On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras? Abstract. Solvers for SAT Modulo Theories (SMT) can nowadays handle large industrial (e.g., formal hardware and software verificati

      Add to Reading List

      Source URL: www.lsi.upc.edu

      Language: English - Date: 2006-04-28 13:17:24
      UPDATE